$\forall$$T$:Type, $L$:($T$ List). iseg($T$; $L$; []) $\Leftarrow\!\Rightarrow$ ($\uparrow$null($L$))